SSDL: overview Goal: Improving the quality of systems and software Means:

Source URL: www.cs.technion.ac.il

• Model checking
• Formal verification
• Software engineering
• Programming language
• Software development process
• Science
• Computing
• Formal methods
• SOAP Service Description Language
• Applied mathematics

Protein Engineering vol.15 no.10 pp.779–782, 2002 Protein Design is NP-hard Niles A.Pierce1,2 and Erik Winfree3 1Applied

Source URL: www.piercelab.caltech.edu

• Complexity classes
• Mathematical optimization
• NP-complete problems
• Structural complexity theory
• NP-hard
• NP-complete
• Dead-end elimination
• NP
• P
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

Reading the Sines: Sinusoidal Identification and Description using the Short Time Fourier Transform Jez Wells Media Engineering Group, Department of Electronics, University of York, UK Introduction Sinusoids are often co

Source URL: www-users.york.ac.uk

• Signal processing
• Fourier analysis
• Applied mathematics
• Time series analysis
• Wave mechanics
• Window function
• Short-time Fourier transform
• Aliasing
• Frequency
• Mathematical analysis
• Digital signal processing
• Mathematics

st 31 Annual IEEE Applied Power Electronics Conference and Exposition March 20 – 24 , 2016 at the Long Beach Convention and Entertainment Center, Long Beach, CA. USA th

Source URL: www.apec-conf.org

• Automation
• Electric motors
• Power electronics
• Inverter
• Institute of Electrical and Electronics Engineers
• Power supply
• Bipolar junction transistor
• Capacitor
• Electronic engineering
• Electromagnetism
• Electrical engineering
• Technology

PhD position Exploration of wiring diagnostics via compressive sensing: Algorithms and ultra-compact Analog-to-Information (A2I) architectures keywords: wiring diagnostics, reflectometry, fault detection, compressive se

Source URL: www.det.polito.it

• Mathematics
• Digital signal processing
• Applied mathematics
• Compressed sensing
• Linear algebra
• Regression analysis
• Fault detection and isolation
• Analog signal
• Signal
• Signal processing
• Information theory
• Electronic engineering

Water Engineering | Marine Technology Department of Civil and Environmental Engineering Department of Applied Mechanics FLOODSTAND: Determination of discharge coefficients for a cross-flooding duct

Source URL: floodstand.aalto.fi

• Duct
• Heating
• ventilating
• and air conditioning

Module Code CS 1952 Credits

Source URL: www.cse.mrt.ac.lk

• Curricula
• Syllabus
• Dynamic programming
• Algorithm
• Computer Science and Engineering
• Mathematics
• Education
• Applied mathematics

PRAXISTEMOLOGY: EARLY CHILDHOOD EDUCATION, ENGINEERING EDUCATION IN A UNIVERSITY, AND UNIVERSAL CONCEPTS FOR PEOPLE OF ALL AGES AND ABILITIES Steve Mann and Marko Hrelja University of Toronto, Faculty of Applied Science

Source URL: eyetap.org

• Public safety
• Crime prevention
• Sociology
• French words and phrases
• Privacy
• Sousveillance
• Equiveillance
• Steve Mann
• The Transparent Society
• Security
• National security
• Surveillance

APPLIED PHYSICS LETTERS 97, 164104 共2010兲 Tunable elastic stiffness with microconfined magnetorheological domains at low magnetic field Carmel Majidia兲 and Robert J. Wood School of Engineering and Applied Sciences

Source URL: micro.seas.harvard.edu

Mechanics of DNA packaging in viruses Prashant K. Purohit†, Jane´ Kondev‡, and Rob Phillips†§ †Division of Engineering and Applied Science, California Institute of Technology, Pasadena, CA 91125; and ‡Physics

Source URL: www.rpgroup.caltech.edu